"Wu Wen-Tsun" скачать бесплатно. Электронная библиотека. Поиск книг BookSee

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Selected works of Wen-tsun Wu

Wen-Tsun Wu

3.17 Mb

#2

Selected Works Of Wen-Tsun Wu

Категория: science_books, math

23.36 Mb

#3

SELECTED WORKS OF WEN-TSUN WU

Wen-Tsun Wu

5.20 Mb

#4

Selected Works Of Wen-Tsun Wu

Категория: M_Mathematics, MW_Collected works

4.45 Mb

#5

Wu Wen-Tsun. Mathematics Mechanization.. Mechanical Geometry Theorem proving (Kluwer, 2000)(ISBN 079235835X)(600dpi)(T)(427s)_MAco_.djvu

4.23 Mb

#6

Proceedings 1992 Int. Workshop on Mathematics Mechanization

Wu Wen-Tsun, Cheng Min-De. (eds.)

Категория: Mathematics, Algebra, Computational algebra

6.91 Mb

#7

Mathematics Mechanization: Mechanical Geometry Theorem proving

Категория: Mathematics, Algebra, Computational algebra

4.23 Mb

#8

Rational Homotopy Type: A Constructive Study Via the Theory of the I*-Measure

Wu Wen-Tsun

1.24 Mb

#9

Mathematics mechanization: mechanical geometry theorem-proving, mechanical geometry problem-solving, and polynomial equations-solving

Wu Wen-tsun

16.74 Mb

#10

Proceedings 1992 Int. Workshop on Mathematics Mechanization

Wu Wen-Tsun, Cheng Min-De. (eds.)

23.36 Mb

#11

Proceedings 1992 Int. Workshop on Mathematics Mechanization

Wu Wen-Tsun, Cheng Min-De. (eds.)

6.09 Mb

#12

A Theory of Imbedding Immersion and Isotopy of Polytopes in a Euclidean Space

Категория: Mathematics

28.32 Mb